[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 47 18 0 19 32 0 185

N.S.

1 1.00 0.36 0.14 0.00 0.15 0.24 0.00 1.41

time (sec)

N/A 0.212 10.033 3.883 0.000 0.078 0.377 0.000 0.055

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 37 16 0 6 31 0 172

N.S.

1 1.00 0.33 0.14 0.00 0.05 0.28 0.00 1.54

time (sec)

N/A 0.191 10.022 3.976 0.000 0.085 0.349 0.000 0.033

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 42 18 0 24 36 0 187

N.S.

1 1.00 0.32 0.14 0.00 0.18 0.27 0.00 1.41

time (sec)

N/A 0.214 10.007 3.920 0.000 0.080 0.438 0.000 5.349

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 156 42 18 0 33 39 0 201

N.S.

1 1.03 0.28 0.12 0.00 0.22 0.26 0.00 1.33

time (sec)

N/A 0.235 10.007 3.919 0.000 0.080 0.491 0.000 0.043

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

282 300 56 18 0 32 32 0 259

N.S.

1 1.06 0.20 0.06 0.00 0.11 0.11 0.00 0.92

time (sec)

N/A 0.385 10.016 3.923 0.000 0.080 0.429 0.000 0.046

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 277 49 18 0 24 32 0 245

N.S.

1 1.05 0.19 0.07 0.00 0.09 0.12 0.00 0.93

time (sec)

N/A 0.374 10.012 3.927 0.000 0.077 0.390 0.000 0.062

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 254 42 18 0 9 32 0 230

N.S.

1 1.06 0.18 0.08 0.00 0.04 0.13 0.00 0.96

time (sec)

N/A 0.337 10.017 3.882 0.000 0.090 0.352 0.000 0.040

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

257 274 40 18 0 24 34 0 244

N.S.

1 1.07 0.16 0.07 0.00 0.09 0.13 0.00 0.95

time (sec)

N/A 0.369 10.023 3.899 0.000 0.095 0.388 0.000 5.450

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

282 297 42 18 0 36 39 0 259

N.S.

1 1.05 0.15 0.06 0.00 0.13 0.14 0.00 0.92

time (sec)

N/A 0.389 10.009 3.953 0.000 0.086 0.481 0.000 0.049

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 50 47 64 57 110 57 55

N.S.

1 1.05 0.62 0.59 0.80 0.71 1.38 0.71 0.69

time (sec)

N/A 0.217 0.041 3.861 0.198 0.253 0.408 0.268 5.996

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 39 36 47 46 87 43 44

N.S.

1 1.07 0.66 0.61 0.80 0.78 1.47 0.73 0.75

time (sec)

N/A 0.197 0.028 3.793 0.202 0.258 0.293 0.274 6.021

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 38 25 30 34 63 29 33

N.S.

1 1.11 1.00 0.66 0.79 0.89 1.66 0.76 0.87

time (sec)

N/A 0.185 0.023 3.765 0.197 0.264 0.206 0.266 5.909

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 39 14 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 2.17 0.78 0.78

time (sec)

N/A 0.147 0.011 3.777 0.184 0.254 0.084 0.274 5.966

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 102 124 96 95 100 42 96 112

N.S.

1 1.07 1.31 1.01 1.00 1.05 0.44 1.01 1.18

time (sec)

N/A 0.223 0.108 4.532 0.288 0.258 0.629 0.529 5.957

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 108 135 111 103 155 41 115 122

N.S.

1 1.01 1.26 1.04 0.96 1.45 0.38 1.07 1.14

time (sec)

N/A 0.216 0.156 3.938 0.294 0.254 0.701 0.470 6.048

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 126 168 146 181 181 39 0 0

N.S.

1 1.05 1.40 1.22 1.51 1.51 0.32 0.00 0.00

time (sec)

N/A 0.220 0.361 4.939 0.282 0.260 1.154 0.000 0.000

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 96 141 121 134 193 39 0 0

N.S.

1 1.02 1.50 1.29 1.43 2.05 0.41 0.00 0.00

time (sec)

N/A 0.193 0.265 4.101 0.282 0.291 0.646 0.000 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 91 144 124 114 162 41 0 40

N.S.

1 1.03 1.64 1.41 1.30 1.84 0.47 0.00 0.45

time (sec)

N/A 0.189 0.186 3.957 0.282 79.536 0.634 0.000 6.269

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 17 68 0 17

N.S.

1 1.00 1.00 0.86 0.81 0.81 3.24 0.00 0.81

time (sec)

N/A 0.142 0.085 3.815 0.188 0.257 0.434 0.000 5.957

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 42 28 35 38 109 0 32

N.S.

1 1.00 0.95 0.64 0.80 0.86 2.48 0.00 0.73

time (sec)

N/A 0.172 0.098 3.920 0.196 0.415 0.588 0.000 6.090

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 74 53 39 52 49 520 0 73

N.S.

1 1.09 0.78 0.57 0.76 0.72 7.65 0.00 1.07

time (sec)

N/A 0.197 0.106 4.038 0.200 0.269 0.858 0.000 6.389

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 104 53 50 69 60 847 0 93

N.S.

1 1.13 0.58 0.54 0.75 0.65 9.21 0.00 1.01

time (sec)

N/A 0.219 0.116 3.950 0.196 0.255 1.177 0.000 6.350

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 51 51 0 0 0 39 0 0

N.S.

1 1.34 1.34 0.00 0.00 0.00 1.03 0.00 0.00

time (sec)

N/A 0.170 4.373 0.000 0.000 0.000 0.511 0.000 0.000

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

33 46 203 0 0 0 37 0 37

N.S.

1 1.39 6.15 0.00 0.00 0.00 1.12 0.00 1.12

time (sec)

N/A 0.155 0.183 0.000 0.000 0.000 0.483 0.000 5.942

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 51 51 0 0 0 42 0 0

N.S.

1 1.34 1.34 0.00 0.00 0.00 1.11 0.00 0.00

time (sec)

N/A 0.168 10.013 0.000 0.000 0.000 0.514 0.000 0.000

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 51 51 0 0 0 42 0 0

N.S.

1 1.34 1.34 0.00 0.00 0.00 1.11 0.00 0.00

time (sec)

N/A 0.170 10.011 0.000 0.000 0.000 0.618 0.000 0.000

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 50 47 64 57 110 57 55

N.S.

1 1.05 0.62 0.59 0.80 0.71 1.38 0.71 0.69

time (sec)

N/A 0.202 0.036 3.854 0.198 0.259 0.503 0.273 6.044

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 39 36 47 46 87 43 44

N.S.

1 1.07 0.66 0.61 0.80 0.78 1.47 0.73 0.75

time (sec)

N/A 0.184 0.027 3.800 0.194 0.251 0.349 0.269 5.969

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 39 25 30 35 63 29 33

N.S.

1 1.11 1.03 0.66 0.79 0.92 1.66 0.76 0.87

time (sec)

N/A 0.169 0.024 3.763 0.188 0.254 0.261 0.287 5.780

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 39 14 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 2.17 0.78 0.78

time (sec)

N/A 0.139 0.011 3.793 0.193 0.248 0.110 0.281 5.739

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 103 126 98 97 122 44 98 122

N.S.

1 1.05 1.29 1.00 0.99 1.24 0.45 1.00 1.24

time (sec)

N/A 0.205 0.107 3.830 0.294 0.253 0.683 0.491 5.466

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 136 112 103 290 39 116 137

N.S.

1 1.00 1.27 1.05 0.96 2.71 0.36 1.08 1.28

time (sec)

N/A 0.210 0.143 3.978 0.273 0.283 0.695 0.503 5.664

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 51 51 0 0 0 39 0 0

N.S.

1 1.34 1.34 0.00 0.00 0.00 1.03 0.00 0.00

time (sec)

N/A 0.169 5.318 0.000 0.000 0.000 0.528 0.000 0.000

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 51 51 0 0 0 39 0 0

N.S.

1 1.34 1.34 0.00 0.00 0.00 1.03 0.00 0.00

time (sec)

N/A 0.163 4.772 0.000 0.000 0.000 0.492 0.000 0.000

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

36 49 49 0 0 0 41 0 39

N.S.

1 1.36 1.36 0.00 0.00 0.00 1.14 0.00 1.08

time (sec)

N/A 0.170 8.138 0.000 0.000 0.000 0.535 0.000 5.822

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 51 51 0 0 0 46 0 0

N.S.

1 1.34 1.34 0.00 0.00 0.00 1.21 0.00 0.00

time (sec)

N/A 0.172 10.014 0.000 0.000 0.000 0.571 0.000 0.000

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 122 168 144 181 345 39 0 0

N.S.

1 1.04 1.44 1.23 1.55 2.95 0.33 0.00 0.00

time (sec)

N/A 0.209 0.352 4.057 0.291 0.268 1.120 0.000 0.000

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B C F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

91 92 203 118 134 362 37 0 37

N.S.

1 1.01 2.23 1.30 1.47 3.98 0.41 0.00 0.41

time (sec)

N/A 0.194 0.157 4.028 0.295 0.265 0.660 0.000 5.764

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 91 145 130 114 194 42 0 0

N.S.

1 1.03 1.65 1.48 1.30 2.20 0.48 0.00 0.00

time (sec)

N/A 0.186 0.230 3.981 0.294 227.953 0.672 0.000 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 17 68 0 17

N.S.

1 1.00 1.00 0.86 0.81 0.81 3.24 0.00 0.81

time (sec)

N/A 0.144 0.109 3.872 0.202 0.292 0.471 0.000 5.864

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 42 28 35 38 110 0 38

N.S.

1 1.00 0.95 0.64 0.80 0.86 2.50 0.00 0.86

time (sec)

N/A 0.164 0.117 4.010 0.225 0.270 0.643 0.000 5.960

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 74 53 39 52 49 520 0 73

N.S.

1 1.09 0.78 0.57 0.76 0.72 7.65 0.00 1.07

time (sec)

N/A 0.192 0.121 3.936 0.225 0.279 0.948 0.000 5.838

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 50 27 15 34 33 71 55 33

N.S.

1 1.09 0.59 0.33 0.74 0.72 1.54 1.20 0.72

time (sec)

N/A 0.173 0.024 3.885 0.208 0.252 0.701 0.269 5.670

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 50 47 64 46 92 61 48

N.S.

1 1.05 0.62 0.59 0.80 0.58 1.15 0.76 0.60

time (sec)

N/A 0.201 0.031 3.851 0.232 0.261 0.354 0.261 5.654

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 39 36 47 35 68 47 36

N.S.

1 1.07 0.66 0.61 0.80 0.59 1.15 0.80 0.61

time (sec)

N/A 0.183 0.026 3.842 0.213 0.276 0.262 0.268 5.686

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 28 25 30 24 44 30 24

N.S.

1 1.11 0.74 0.66 0.79 0.63 1.16 0.79 0.63

time (sec)

N/A 0.171 0.023 3.861 0.242 0.262 0.187 0.284 5.754

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 22 14 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 1.22 0.78 0.78

time (sec)

N/A 0.139 0.012 3.848 0.228 0.265 0.072 0.272 5.583

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 85 103 83 86 236 37 87 100

N.S.

1 1.02 1.24 1.00 1.04 2.84 0.45 1.05 1.20

time (sec)

N/A 0.205 0.082 3.908 0.305 0.290 0.524 0.507 5.974

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 113 136 111 118 344 39 119 138

N.S.

1 1.03 1.24 1.01 1.07 3.13 0.35 1.08 1.25

time (sec)

N/A 0.219 0.161 4.079 0.288 0.295 0.733 0.524 6.204

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 51 51 0 0 0 37 0 0

N.S.

1 1.34 1.34 0.00 0.00 0.00 0.97 0.00 0.00

time (sec)

N/A 0.174 4.408 0.000 0.000 0.000 0.512 0.000 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 51 51 0 0 0 37 0 0

N.S.

1 1.34 1.34 0.00 0.00 0.00 0.97 0.00 0.00

time (sec)

N/A 0.169 4.622 0.000 0.000 0.000 0.461 0.000 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 51 51 0 0 0 37 0 0

N.S.

1 1.34 1.34 0.00 0.00 0.00 0.97 0.00 0.00

time (sec)

N/A 0.164 4.476 0.000 0.000 0.000 0.430 0.000 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

36 49 49 0 0 0 39 0 40

N.S.

1 1.36 1.36 0.00 0.00 0.00 1.08 0.00 1.11

time (sec)

N/A 0.177 7.795 0.000 0.000 0.000 0.464 0.000 6.072

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 51 51 0 0 0 44 0 0

N.S.

1 1.34 1.34 0.00 0.00 0.00 1.16 0.00 0.00

time (sec)

N/A 0.163 10.012 0.000 0.000 0.000 0.547 0.000 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 98 140 118 137 309 37 0 0

N.S.

1 1.04 1.49 1.26 1.46 3.29 0.39 0.00 0.00

time (sec)

N/A 0.182 0.287 4.005 0.302 0.280 0.675 0.000 0.000

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 110 99 100 330 36 0 37

N.S.

1 1.00 1.57 1.41 1.43 4.71 0.51 0.00 0.53

time (sec)

N/A 0.165 0.040 4.079 0.311 0.291 0.506 0.000 5.660

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 17 31 0 17

N.S.

1 1.00 1.00 0.86 0.81 0.81 1.48 0.00 0.81

time (sec)

N/A 0.139 0.099 3.852 0.226 0.272 0.372 0.000 5.752

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 31 28 35 27 70 0 27

N.S.

1 1.00 0.70 0.64 0.80 0.61 1.59 0.00 0.61

time (sec)

N/A 0.161 0.115 3.862 0.231 0.292 0.494 0.000 5.714

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 74 42 39 52 38 406 0 38

N.S.

1 1.09 0.62 0.57 0.76 0.56 5.97 0.00 0.56

time (sec)

N/A 0.195 0.134 3.884 0.211 0.296 0.758 0.000 5.668

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 104 53 50 69 49 692 0 76

N.S.

1 1.13 0.58 0.54 0.75 0.53 7.52 0.00 0.83

time (sec)

N/A 0.217 0.146 4.053 0.209 0.346 1.056 0.000 5.703

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 82 50 47 64 46 92 61 48

N.S.

1 1.05 0.64 0.60 0.82 0.59 1.18 0.78 0.62

time (sec)

N/A 0.200 0.037 3.834 0.209 0.274 0.431 0.291 5.591

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 61 39 36 46 35 68 46 36

N.S.

1 1.09 0.70 0.64 0.82 0.62 1.21 0.82 0.64

time (sec)

N/A 0.186 0.026 3.807 0.210 0.269 0.309 0.264 5.563

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 40 27 24 30 23 44 30 24

N.S.

1 1.11 0.75 0.67 0.83 0.64 1.22 0.83 0.67

time (sec)

N/A 0.172 0.021 3.863 0.214 0.264 0.213 0.266 5.522

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 13 13 20 13 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 1.33 0.87 0.87

time (sec)

N/A 0.139 0.013 3.857 0.217 0.265 0.084 0.291 5.517

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 86 101 83 86 126 39 87 102

N.S.

1 1.02 1.20 0.99 1.02 1.50 0.46 1.04 1.21

time (sec)

N/A 0.206 0.073 4.017 0.305 0.447 0.539 0.490 5.721

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 114 135 111 118 182 39 118 128

N.S.

1 1.04 1.23 1.01 1.07 1.65 0.35 1.07 1.16

time (sec)

N/A 0.217 0.136 3.965 0.321 0.291 0.791 0.496 5.824

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 132 170 146 184 212 37 0 0

N.S.

1 1.07 1.38 1.19 1.50 1.72 0.30 0.00 0.00

time (sec)

N/A 0.211 0.286 4.046 0.311 0.275 1.522 0.000 0.000

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 102 142 122 137 165 37 0 0

N.S.

1 1.05 1.46 1.26 1.41 1.70 0.38 0.00 0.00

time (sec)

N/A 0.193 0.261 4.008 0.344 0.310 0.732 0.000 0.000

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 116 100 100 173 37 0 0

N.S.

1 1.00 1.61 1.39 1.39 2.40 0.51 0.00 0.00

time (sec)

N/A 0.159 0.174 3.947 0.304 0.323 0.519 0.000 0.000

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 18 17 17 31 0 17

N.S.

1 1.00 1.00 0.95 0.89 0.89 1.63 0.00 0.89

time (sec)

N/A 0.143 0.106 4.034 0.206 0.273 0.383 0.000 5.558

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 31 26 35 27 68 0 25

N.S.

1 1.00 0.70 0.59 0.80 0.61 1.55 0.00 0.57

time (sec)

N/A 0.163 0.130 4.023 0.213 0.291 0.519 0.000 5.625

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 74 42 39 52 38 406 0 38

N.S.

1 1.09 0.62 0.57 0.76 0.56 5.97 0.00 0.56

time (sec)

N/A 0.189 0.145 3.924 0.219 0.293 0.817 0.000 5.624

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 104 53 50 69 49 692 0 76

N.S.

1 1.13 0.58 0.54 0.75 0.53 7.52 0.00 0.83

time (sec)

N/A 0.212 0.168 3.989 0.211 0.255 1.095 0.000 5.745

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 51 51 0 0 0 37 0 0

N.S.

1 1.34 1.34 0.00 0.00 0.00 0.97 0.00 0.00

time (sec)

N/A 0.169 4.867 0.000 0.000 0.000 0.513 0.000 0.000

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 51 51 0 0 0 37 0 0

N.S.

1 1.34 1.34 0.00 0.00 0.00 0.97 0.00 0.00

time (sec)

N/A 0.165 4.323 0.000 0.000 0.000 0.451 0.000 0.000

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

33 46 183 0 0 0 36 0 37

N.S.

1 1.39 5.55 0.00 0.00 0.00 1.09 0.00 1.12

time (sec)

N/A 0.150 0.167 0.000 0.000 0.000 0.433 0.000 5.759

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 51 51 0 0 0 41 0 0

N.S.

1 1.34 1.34 0.00 0.00 0.00 1.08 0.00 0.00

time (sec)

N/A 0.164 10.013 0.000 0.000 0.000 0.529 0.000 0.000

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 51 51 0 0 0 44 0 0

N.S.

1 1.34 1.34 0.00 0.00 0.00 1.16 0.00 0.00

time (sec)

N/A 0.163 10.014 0.000 0.000 0.000 0.624 0.000 0.000

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 116 106 103 284 37 0 38

N.S.

1 1.00 1.61 1.47 1.43 3.94 0.51 0.00 0.53

time (sec)

N/A 0.157 0.056 5.000 0.297 0.298 0.516 0.000 5.704

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 78 18 69 76 34 0 16

N.S.

1 1.00 1.70 0.39 1.50 1.65 0.74 0.00 0.35

time (sec)

N/A 0.149 0.027 4.581 0.296 0.473 0.435 0.000 5.801

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 83 15 78 82 31 0 0

N.S.

1 1.00 1.57 0.28 1.47 1.55 0.58 0.00 0.00

time (sec)

N/A 0.159 0.142 4.541 0.305 0.296 0.438 0.000 0.000

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 10 9 9 10 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.77 0.69 0.69

time (sec)

N/A 0.140 0.009 3.853 0.204 0.271 0.066 0.280 5.839

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 136 1022 151 847 5902 1269 860

N.S.

1 1.00 0.90 6.77 1.00 5.61 39.09 8.40 5.70

time (sec)

N/A 0.302 0.375 5.813 0.216 0.319 2.469 0.307 6.873

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 88 431 97 367 2006 540 389

N.S.

1 1.00 0.91 4.44 1.00 3.78 20.68 5.57 4.01

time (sec)

N/A 0.250 0.173 4.259 0.222 0.424 1.042 0.287 6.242

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 56 177 61 157 666 224 167

N.S.

1 1.00 0.92 2.90 1.00 2.57 10.92 3.67 2.74

time (sec)

N/A 0.211 0.055 3.914 0.226 0.285 0.545 0.270 6.002

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 40 51 43 85 313 117 93

N.S.

1 1.00 0.93 1.19 1.00 1.98 7.28 2.72 2.16

time (sec)

N/A 0.189 0.036 3.901 0.202 0.282 0.359 0.283 5.940

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 30 25 33 94 43 34

N.S.

1 1.00 1.00 1.20 1.00 1.32 3.76 1.72 1.36

time (sec)

N/A 0.167 0.023 0.040 0.218 0.311 0.244 0.276 5.836

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

39 39 41 0 0 0 88 0 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 2.26 0.00 0.00

time (sec)

N/A 0.161 0.022 0.000 0.000 0.000 1.933 0.000 0.000

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

39 39 41 0 0 0 520 0 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 13.33 0.00 0.00

time (sec)

N/A 0.162 0.027 0.000 0.000 0.000 25.371 0.000 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

39 39 41 0 0 0 1578 0 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 40.46 0.00 0.00

time (sec)

N/A 0.162 0.026 0.000 0.000 0.000 111.382 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 64 66 0 0 0 54 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.84 0.00 0.00

time (sec)

N/A 0.187 0.118 0.000 0.000 0.000 1.431 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

63 63 65 0 0 0 54 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.86 0.00 0.00

time (sec)

N/A 0.185 0.083 0.000 0.000 0.000 0.706 0.000 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

52 63 65 0 0 0 53 0 0

N.S.

1 1.21 1.25 0.00 0.00 0.00 1.02 0.00 0.00

time (sec)

N/A 0.191 0.082 0.000 0.000 0.000 0.572 0.000 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

66 66 68 0 0 0 53 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.80 0.00 0.00

time (sec)

N/A 0.182 0.120 0.000 0.000 0.000 0.743 0.000 0.000

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

69 69 67 0 0 0 58 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.84 0.00 0.00

time (sec)

N/A 0.186 0.116 0.000 0.000 0.000 3.135 0.000 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 68 66 0 0 0 58 0 0

N.S.

1 1.11 1.08 0.00 0.00 0.00 0.95 0.00 0.00

time (sec)

N/A 0.186 0.101 0.000 0.000 0.000 1.082 0.000 0.000

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 68 66 0 0 0 58 0 0

N.S.

1 1.11 1.08 0.00 0.00 0.00 0.95 0.00 0.00

time (sec)

N/A 0.185 0.092 0.000 0.000 0.000 0.773 0.000 0.000

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

66 66 64 0 0 0 54 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.82 0.00 0.00

time (sec)

N/A 0.188 0.025 0.000 0.000 0.000 116.744 0.000 0.000

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 22 21 25 104 21 21

N.S.

1 1.00 1.00 0.96 0.91 1.09 4.52 0.91 0.91

time (sec)

N/A 0.148 0.026 3.853 0.210 0.252 0.559 0.280 5.545

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 47 40 42 47 58 432 51 68

N.S.

1 0.98 0.83 0.88 0.98 1.21 9.00 1.06 1.42

time (sec)

N/A 0.191 0.043 3.896 0.216 0.251 1.821 0.264 5.751

[next] [prev] [prev-tail] [front] [up]